COMMENT ⊗   VALID 00015 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00004 00003	FALL QUARTER 1979
C00007 00004	WINTER QUARTER 1980
C00012 00005	SPRING QUARTER 1980
C00017 00006	SUMMER QUARTER l980                                                  
C00021 00007	FALL QUARTER 1980
C00024 00008	WINTER QUARTER 1981
C00027 00009	SPRING QUARTER 1981
C00029 00010	SUMMER QUARTER 1981
C00031 00011	FALL QUARTER 1981
C00034 00012	WINTER QUARTER 1982
C00038 00013	SPRING QUARTER 1982
C00041 00014	SUMMER QUARTER 1982
C00043 00015	FALL QURTER 1982
C00045 ENDMK
C⊗;



AAAI    American Assn for Artificial Intelligence
ACM     Association for Computing Machinery
AMPS
ATP
BBS     The Behavioral and Brain Sciences
CASBS   Center,Advanced Studies Behavioral Sciences
CCS	Committee of Concerned Scientists
IFIP    IInternation Federation for Information Processing
ICCP    International Conference on Collective Phenomena
III     Information Internation Incorporated
SE2	Scientists and Engineers for Secure Energy
FALL QUARTER 1979



1101F79  AI Ctr. Technical Note Abstracts, SRI International

1101W79  Scott Kim, grad student

ll09W79  Academy Council on Foreign Policy.  Salt II, NATO

ll16W79  Prof. Herbert Teager, Pattern Recogntion problems in AI

1201W79  Jackson, Philip. MS thesis, UCSC

1201W79  John Carr, letter from Xian, China re Chinese laboratory

1205F79  Dialnet Project + Paul Stoft, Hewlett Packard

1205F79  Lifschitz, re Dr. Grigorii Mints

1206F79  Larsen, Cecilia, Request for IBM version of LISP Program

1206F79  MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.

12l7F79  ICCP, 4th.  Organizing committee, letter to Joel Lebowitz

1218F79  Sperry Univac - re copyright materials

1218F79  Zh. Atanasov, Poland, Polish Academy of Sciences

12l8F79  IBM, Watson Research Lab.  air ticket

1218F79  Michael Intriligator, UCLA, Abstract for Marschak Seminar

1219F79  J. Raviv, "Computer, Man and Society"

1220F79  R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford

1220F79  Firdman, considerable correspondence

WINTER QUARTER 1980


0101W80  Schanberg article

0101W80  Technology and Society, Computer Technology opportunities

0100W80  Preserving Computer-related Source Materials

0110W80  Firdman

01l8W80  Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium

0118W80  Indiana Univ. CS Dept., re expense voucher

0122W80  Computer use, Stan. U.Advisory Com. on Computer Use

0123W80  "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA

0124W80  Schanberg's article, JMC letter to NY TIMES

0130S80  ACM l979 Conference Tapes.  Information Cassettes, Inc.

0206W80  B. Randell, invitation to AI Seminar Newcastle upon Tyne

0201W80  Prof. P. Beckmann, U. of Colorado, re liquid hydrogen

0212W80  Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there

0211W80  Financing research in electronics, letter to "Forum"   

0413W81  Webber and Nilsson, Permission to publish McCarthy. U. of Pennsylvania.

0214W80  Control of superluminal channel, Henry Stapp, Lawrence Lab

0225W80  CCS, visa application, title, vita for Soviet meeting.



0300W80  American Academy of Arts and Sciences, March l980

0306W80  Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.

0310W80  Schanberg's article, letter from L. R. Abramson

0310W80  Doug Murray, U.S.-China Program, re Harbin Institute invitation

0312W80  Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes

0319W80  Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA

0319W80  Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST

0320W80  Pereira, Luis Moniz Prof.  Logic Programming


SPRING QUARTER 1980


0401S80  Syllabuus for Qualifying Exam in AI, Spring l980


0400S80  SE2, Status Update, February l980

0400S80  Solution to Branching Factor.., Judea Pearl,UCLA

0400S80  Learning Control of Production Systems, Abstract, Stolfo, Columbia U.

0402S80  NASA Software Research/Technology Workshop Abstracts

0417S80  James Craig, EE grad student studying in AI with JMC

0428S80  Machine Intelligence Workshop, l0th.  Michie LE1



0501S8   SE2, Reprint from NUCLEONICS WEEK on reprocessing.

0509S80  ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80  

0512S80  Blattner, M., re NSF support of new project

0515S80  Aspen Institute, Wye meeting, May l980, Chauncey Starr

0519S80  ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....

0500S80  SE2, Status Report May l980

0525S80  CCS, Firdman

0528S80  Boden letter.  "The Case for Cognitive Biology"

0528S80  Research interests, Stanford faculty

0514S80  BBS.  Article title to be BELIEFS, MACHINES, AND THEORIES.




0601S80  Black Tuesday, June l980

0605S80  Kahn, Robert. Request from T. Binford, access to ARPA VAX systems

0609S80  James Solinsky, LaJolla Institute Workshop invitation refused.

0623S80  Natural Language.  Prof. Haugeland.  MRHUG

0623S80  SE2 meeting Stanford.  McCarthy speech reported.

0624S80  Song, Thais parody

0626S80  Legal Reason, Artifice of,John Kelly

0626S80  Friends of the Earth. Soft Energy path.  Lovins.

0630S80  Walter Kiechel.  Computer library

0630S80  Doszkocs and Rapp, Computer library
SUMMER QUARTER l980                                                  


0701E80  Haugeland, John.  Weak Supervenience

0701E80  SUN Display Cluster, A Data-Disk Replacement

0701E80  Institute for Policy Studies, Anti-Technology

0702E80  Pearcey T., Caulfield Institute of Tech., Australia

0715E80  GIST Draft Manual

0716E80  Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere

0720E81  Murphy, George, Technology Licensing.  Theft Protection, Passwords.

0722E80  Balzer, & Goldman.USC/ISI,  Principles of Good Software Specifica.....

0722E80  AI Conference, Aug. l980.  Title of speech.  PROGRA.xgp[1,jra]

0730E80  Schnitzer, Kenneth, SE2, nuclear waste

073lE80  Dana Scott, LISP




0805E80  AAAI Editorial Board meeting, Aug. 20, l980

0829E80  Professor Kazuaki Iwata, Kobe University

0827E80  Hideyuki Takahashi

0901E80  Report on placement of engineering graduates

0901E80  The Plactic Ring, Lascoux and Schutzenberger

0908E80  International Workshop on Program Construction

0909E80  Scherlis, Wm.   Paper submitted to POPL.

0917E80  Annual Faculty Report for Academic Year l979-80

0918E80  Michael Benefiel, Foreign Commercial Service, Tokyo.  Wanted AI Info

0929E80  Henry, Margaret.  Council for International Exchange of Scholars

0930E80  Gannis, Steve.  Nuclear energy ad
FALL QUARTER 1980


1001F80  Tomita, Masaru.  Potential Stanford student

1003F80  William Massy.  Sent CBCL[F75,jmc]

1009F80  Fenaughty, A. L., III, letter re Alan Miller

1015F80  Crawford, F. W., Sigma Xi, thank you letter

1017F80  Swaminathan, K.  Advice to Indian student.

1020F80  Zager, David.  Advice re professional interests

1020F80  Pournelle, Jerry.  America is an Undeveloped Country

1027F80  Haimila, Mervi.  Telgram from Finland re Asset

1027F80  Gamble, Evan.  Potential Stanford student

1030F80  Sigma Xi talk tape, Donald Snow, BYU

1024F80  P. Cheeseman, Australia


1101F80  Tie-cheng Wang.Academia Sinica.  Referred to Nilsson.  Chinese student.

1107F80  Five Year Outlook Report, National Academy of Sciences.  Metzger.

1111F80  Elihu Gerson, Huxley quotation

1112F80  Nils Nilsson, Chinese student.  Tie Cheng Wang

1113F80  MIT Press. Taylor, R. H.  

1117F81  Stanford Symposium on Office Automation.  Robert Landau.




1203F80  Brent Arnold, Henry Firdman (see Firdman envelope, shelfw)

1203F80  Data work send abroad.  Database work

1206F80  Dennis Hamilton.  Matl referred to D. Knuth.

1223F80  Subhas Chandra, University of South Pacific, Fiji
    
1229F80  Guenther Goerz.  Germany.  Erlangen
WINTER QUARTER 1981

0101W81  Reseda

0101W81  Steve Heims sents book review by Freeman Dyson. Von Neumann and Wiener

0102W81  Dennis Hamilton, letters and papers

0116W81  Fidelity Electronics.  Chess Challenger part

0116W81  American Association for Advancement of Science, elected member,McCarthy

0116W81  SONY, Typecorder.  new product

0202W81  Conquest of Outer Space, G.I. Petrov,  Francis Kane. Soviet exploration.

0205∨81  Kasahara, Nippon Electric Co. NEC

0206W81  Michael Kelly




0313W81  DARPA, SEL, Robert Dutton, export of information, Richard Reynolds

0317W81  Habermann, Carnegie-Mellon. Distinguished Lecture Series

0327W81  LISP, Franz et peopinp Timing Project, s-1 NIL Project, Elisp

0331W81  Robert Trappl, Austria.  Cybernetics.

 


SPRING QUARTER 1981

0401S81  Clara Torda

0415S81  MIT Retirement Plan for Staff Members, Variable Fund Annuity

0416S81  Mandeville

0417S81  NSF, DARPA, Workshop on Logic Programming for Intelligent Systems
         Logicon

0421S81  Verkshop II, Sigsoft July l980.  Neuman at SRI







0501S81  Ovshinsky, glass semiconductor

0501S81  Verification Workshop Attendance List

0511S81  Pereira, Luis, Lisbon visit

057S81   Perlis, Donald, re position in department. University of Rochester

0609S81  Robinson, Alan, letter re LOGLISP code and documentation

0615S81  Thomas, R., Laboratoire de Langues, Marseille

SUMMER QUARTER 1981
0601E81  Buchberger, Dr. B., Johannes Kepler Universitat Linz


0706E81  Danicic, I.  University College Wales, re Lisp 1.5

0709E81  Greenberger, Martin, re Xerox machine

0724E81  Enikeev, A., Russian asking for to study with John at Stanford

0725E81  Sharma, Dr. B. K., India, re Indian student, Diego Fernandes

0728E81  Edozien, J., St. John's student re position in AI - paper included




0801E81  List of participants in Workshop of Logic Programming for Intelligent
         Systems, Long Beach

0805E81  E.J. Neuhold, IFIP.  Resigning from WG 2.2.

0821E81  David Curran, IJCAI paper
         Teknowledge, Malicia

0826E81  Dimick, Brad



0901E81  John Nordin, Conference, Center for Theology and Natural Sciences, AI
         Conference, Berkeley, January 1982

0908S81  Kuroda, IBM Japan, invitation to symposium, (Yamada)

0914E81  Shapiro, Stuart C., State University of New York at Buffalo

0921E81  Conference on Disorder and Order

0923E81  Spirulina, algae, food

0923E81  Clark, Keith.  Paper on numerical integration, Negation as Failure
FALL QUARTER 1981

1023F81  Bayard Rustin, Advisory Council of Youth for Energy Independence

1023W81  American Academy of Arts and Sciences House, Boston

1027F81  Hammet, Paula, Australia

1029F81  Low-power Television. MIT research.

1105F81  R. Gunzenhauser, S and P Problem

1105F81  Yung-jen Hsu, Chinese student interested in graduate program

1111F81  Bentley, letter re research job

1116F81  Jacques Cohen, re Colmerauer

1117F81  Bossu and Siegel, Marseilles researchers

1117F81  Krause proposal, NSF

1119F81  Belovari, Gabor, Hungary, Kent State.  Referred to Ursula Maydell.

1128F81  Kahn, Gary, application for research position


1203F81  Hayes-Roth, Barbara   re position in Dept.  Has vita

1204F81  Beeson proposal comments, NSF

1205F81  Guzman, Adolfo with address for Harold V. McIntosh

1209F81  Ambroziak, Jacek, Poland, student asking for summer research

1210F81  Chandrasekaran, B., India,letter to Edward Teller referring to JMC
         Second letter

1214F81  Graevenitz, Alexander, article on anti-nuclear movement in U.S.

1216F81  Waltz, David.  Requesting review of article for Communications of the ACM

1217F81  Murray, Bruce.  Profile of Marvin Minsky in New Yorker magazine

1221F81  Order form from University of Rochester, October 1981

1220F81  Slobodan Jaukovic, invitation to AI meeting in Dubrovnik, Yugoslavia.
WINTER QUARTER 1982
0101W82  Marconi Fellowship, Lowell Wood, Aspen

0101W82  Harold Gilliam, article

0103W82  Wada,Eiiti  Letter of recommendation for Norihisa Suzuki

0104W82  Greenspan, Steven, State University of New York at Buffalo

0104W82  Narayanan, A., University of Exeter.  Ascribing Mental Predicates to
                        Computers
         
0119W82  Marshall Yovits, write chapter for Advances in Computers

0119W82  Luis Cesariny Calafate, Biologist, Portugal

0120W82  Joppinen from Finland, Exchange visitor

0123W82  Natasa Bozovic, application, Yugoslavia

0130W82  Meng Lee, application, Taiwan

0131W82  Stanford University News Service, News release on Russian visitors.
         restrictions, university research, Roth, Lieberman, Umnov.

0131W82  Umnov application, visitin: professor



0201W82  Golub, Sandra Forsythe Memorial Fund

0201W82  Chang Fuu Chen, application for job

0209W82  Bernard Meltzer letter
         2nd letter on Feb. l3
         3rd letter on March 13
         4th letter on June 29

0210W82  Jean Lucien Gloor, Nuclear Research, application

0215W82  Martin Ringle, article for Cognition and Brain Theory

0219W82  Erik Gilbert thesis progress report

0226W82  Edward Teller, Marconi Fellowship, Lowell Wood

0226W82  Carl Jansson, University of Stockholm, job as lecturer, information
         processing




0301W82  David Eller, 764 Live Oak, Menlo Park. Pressey. Paper on nurture of genius.

0301W82  American Academy of Arts and sciences.  Herbert Simon.  Creativity

0301W82  IFIP, Meeting of WG 2.2.  E.J. Neuhold.  University of Stuttgart.

0305W82  Rothlein for recommendation for Rohit Parikh, City University of New York

0305W82  Lisp Conference.  Martin Griss.

0310S82  Letter from H. Stanton (Bradford Books) re Haugland book.

0311W82  Lindsay Barker.  Darling Downs.  Re visit.
  
0317W82  Mark Mills and San Diego Gas and Electric,and letter to Los Angeles Times 

0318S82  Steven Mock, Dept. of the Army, re Binford research proposal.

0319W82  Lars Kahn of Uppsala University.  Opinion of paper on fuzzy.

0322W82  Cognitive Systems Laboratory.  MEASA  Gaschnig

0322W82  Culbertson, James, San Luis Obispo, on "Publicly Testable Consciousness"

0329∨82  Gabriel, Richard.  Letter of recommendation.

0331W8s  Maria DA Re, Milan.  Requesting admission to Department.
SPRING QUARTER 1982

0401S82  Swedish Artificial Intelligence Society.  Meeting April 1982.

0406S82  Thomas Siolek, Comtex Scientific Corp. Research-database and microfiche

0407S82  from Albert Ferrando on self reference.  San Rafael.

0412S82  Henry Kyburg, Univ. of Rochester, re Conference on Cognitive Curricula.

0420S82  Maria Simi, Univ. of Pisa.  Re three wise men puzzle.





0504S82  Floyd Bloom, National Academy of Sciences.  Five year report on
         science and technology

0505S82  Six Year Faculty Plan.  Letter Golub to Wessells.

0510S82  Univ. of London Engineering Exam.

0506S82  Lars Kahn. Swedish Board for Technical Devel.  Consultant Agreement.

0525S82  Center for Theology and National Sciences, Berkeley, Bob Russell

0527S82  ATP Prize, Automatic Theorem Proving, Martin Davis and Jack Minker

0528S82  Inquiry about G. Agin from W. H. Freeman and Co.



0601S82  Delphi studies.  letter from Prof. Rainer Kuhlen. U. of Konstanz.

0601S82  Richard Louv, San Diego, Book on change in U.S.

0604S82  visiting students, Delft Univ.  Prof. Verbraeck and W.L. van der Poel

0607S82  John Miller, Trinity College.  Siam meeting.

0624S82  Peter Szeredi, Prolog and Lisp, Imperial College, Dec-10 interpreter

0630S82  National Geographic
SUMMER QUARTER 1982
0701E82  Association for Automated Reasoning, AAR

0701E82  Gerald Lieberman, Federal export regulations

0712E82  Kenneth Clark, letter declining visitor appointment

0720E82  Wm. Lott, Arizona.  Counsel about study and college entrance.

0721E82  John Dunn, Florida.  Inquiry about freelance work for ROTARIAN

0726E82  Herbert Simon, paper for ARTIFICIAL INTELLIGENCE


0801S82  CADE mailing list

0801E82  France, Minister of Education, job announcement

0802E82  Bobrow, Reviews of ARTIFICIAL INTELLIGENCE Journal.

0804E82  Comtex, Phoebe Huang's inquiry about reports issued by MIT.

0811E82  Gilman, Benjamin, mail interruption to Soviet Union

0826E82  Kolata, Gina, SCIENCE article, How Can Computers Get Common Sense?  AI




0909E82  van Heeckeren van der Schoot.  Inquiry on robotics.  To Binford.

0915E82  Interview on inventions. Susan Gunther

0927E82  Edwin Pednault, representational homomorphism

0928E82  Roger Vogelsang,  computers and common sense

0927E82  Ralph Lewis, computers and common sense

0930E82  Computers and Common Sense article in SCIENCE, Sept. 1982
FALL QURTER 1982

1002F82  M. L. Ginsberg, Brasenose College, Oxford.  Job inquiry.

1003F82  Paul Rickey, publishing problems

1006F82  Lori Barnett, Digital Equipment Corp. Signatures for conf. collage.

1007F82  S.J.Kline,"Why the Sky is not Falling: Entropy, World Views,etc."

1008F82  Dale Johnson, Inquiry about LISP history.  Stoyan referred.

1006F82  Comtex, subscription and info, Stanford AI memos

1011F82  Harold Fethe, Alza. "Models limits suggest reflexivity in nature"

1020F82  Mallory Selfridge, U.of CT. Question on Child program.

1018F82  John at St. Judes, Dublin, Ireland.

1108F82  Robert Kowalski.  Thank you note for letter of recommendation

1111F82  Scott Palmer, ICP.  ICP Interview.

1112F82  Roger Ressmeyer.  Photographs.  Prints attached.

1126F82  S. Dedijer, Univ. of Lund. Review Req.

1130F82  Faultfinder program (no author listed).

1201F82  H. Stoyan. Review req.

1207F82  K. Clark. Reimb. request.

1209F82  Henry Stanton, Bradford BooksMIT.  JMC Collected works.